Computational Logic
by Ulrich Berger (Editor), U. Martin (Contribution by), J. Meseguer (Contribution by), Helmut Schwichtenberg (Editor), J. Girard (Contribution by), D. Miller (Contribution by), S. R. Buss (Contribution by), S. S. Wainer (Contribution by), P. Aczel (Contribution by), H. Barendregt (Contribution by), R. L. Constable (Contribution by)
